Filtros : "SISTEMAS LÓGICOS NÃO CLÁSSICOS" Limpar

Filtros



Refine with date range


  • Source: Journal of Philosophical Logic. Unidade: IME

    Assunto: SISTEMAS LÓGICOS NÃO CLÁSSICOS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      WASSERMANN, Renata. On AGM for Non-Classical Logics. Journal of Philosophical Logic, v. 40, n. 2, p. 271-294, 2011Tradução . . Disponível em: https://doi.org/10.1007/s10992-011-9178-2. Acesso em: 02 maio 2024.
    • APA

      Wassermann, R. (2011). On AGM for Non-Classical Logics. Journal of Philosophical Logic, 40( 2), 271-294. doi:10.1007/s10992-011-9178-2
    • NLM

      Wassermann R. On AGM for Non-Classical Logics [Internet]. Journal of Philosophical Logic. 2011 ; 40( 2): 271-294.[citado 2024 maio 02 ] Available from: https://doi.org/10.1007/s10992-011-9178-2
    • Vancouver

      Wassermann R. On AGM for Non-Classical Logics [Internet]. Journal of Philosophical Logic. 2011 ; 40( 2): 271-294.[citado 2024 maio 02 ] Available from: https://doi.org/10.1007/s10992-011-9178-2
  • Source: Anais. Conference titles: Encontro Nacional de Engenharia de Produção. Unidade: EESC

    Subjects: TOMADA DE DECISÃO (ADMINISTRAÇÃO EXECUTIVA), GESTÃO AMBIENTAL, SISTEMAS LÓGICOS NÃO CLÁSSICOS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BISPO, Carlos Alberto Ferreira e CAZARINI, Edson Walmir. Testes do coeficiente de fidedignidade escolhido para ser utilizado na avaliação qualitativa paraconsistente. 2007, Anais.. Foz do Iguaçu: Escola de Engenharia de São Carlos, Universidade de São Paulo, 2007. . Acesso em: 02 maio 2024.
    • APA

      Bispo, C. A. F., & Cazarini, E. W. (2007). Testes do coeficiente de fidedignidade escolhido para ser utilizado na avaliação qualitativa paraconsistente. In Anais. Foz do Iguaçu: Escola de Engenharia de São Carlos, Universidade de São Paulo.
    • NLM

      Bispo CAF, Cazarini EW. Testes do coeficiente de fidedignidade escolhido para ser utilizado na avaliação qualitativa paraconsistente. Anais. 2007 ;[citado 2024 maio 02 ]
    • Vancouver

      Bispo CAF, Cazarini EW. Testes do coeficiente de fidedignidade escolhido para ser utilizado na avaliação qualitativa paraconsistente. Anais. 2007 ;[citado 2024 maio 02 ]
  • Unidade: FFLCH

    Subjects: REDES NEURAIS, SISTEMAS LÓGICOS NÃO CLÁSSICOS, LINGUÍSTICA COMPUTACIONAL

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      PRADO, João Carlos Almeida. Constelação fônica e redes neurais artificiais: aplicabilidade na análise computacional da produção da fala. 2007. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8139/tde-03092007-131122/. Acesso em: 02 maio 2024.
    • APA

      Prado, J. C. A. (2007). Constelação fônica e redes neurais artificiais: aplicabilidade na análise computacional da produção da fala (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8139/tde-03092007-131122/
    • NLM

      Prado JCA. Constelação fônica e redes neurais artificiais: aplicabilidade na análise computacional da produção da fala [Internet]. 2007 ;[citado 2024 maio 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8139/tde-03092007-131122/
    • Vancouver

      Prado JCA. Constelação fônica e redes neurais artificiais: aplicabilidade na análise computacional da produção da fala [Internet]. 2007 ;[citado 2024 maio 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8139/tde-03092007-131122/
  • Unidade: EP

    Subjects: SISTEMAS LÓGICOS NÃO CLÁSSICOS, TOMADA DE DECISÃO, ALGORITMOS, ENGENHARIA DE PRODUÇÃO

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CARVALHO, Fábio Romeu de e BRUNSTEIN, Israel. Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção. . São Paulo: EPUSP. . Acesso em: 02 maio 2024. , 2007
    • APA

      Carvalho, F. R. de, & Brunstein, I. (2007). Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção. São Paulo: EPUSP.
    • NLM

      Carvalho FR de, Brunstein I. Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção. 2007 ;[citado 2024 maio 02 ]
    • Vancouver

      Carvalho FR de, Brunstein I. Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção. 2007 ;[citado 2024 maio 02 ]
  • Source: Anais de Resumos. Conference titles: Encontro Nacional de Engenharia de Produção. Unidade: EESC

    Subjects: TOMADA DE DECISÃO (ADMINISTRAÇÃO EXECUTIVA), GESTÃO AMBIENTAL, SISTEMAS LÓGICOS NÃO CLÁSSICOS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BISPO, Carlos Alberto Ferreira e CAZARINI, Edson Walmir. Testes do coeficiente de fidedignidade escolhido para ser utilizado na avaliação qualitativa paraconsistente. 2007, Anais.. Rio de Janeiro: ABEPRO, 2007. . Acesso em: 02 maio 2024.
    • APA

      Bispo, C. A. F., & Cazarini, E. W. (2007). Testes do coeficiente de fidedignidade escolhido para ser utilizado na avaliação qualitativa paraconsistente. In Anais de Resumos. Rio de Janeiro: ABEPRO.
    • NLM

      Bispo CAF, Cazarini EW. Testes do coeficiente de fidedignidade escolhido para ser utilizado na avaliação qualitativa paraconsistente. Anais de Resumos. 2007 ;[citado 2024 maio 02 ]
    • Vancouver

      Bispo CAF, Cazarini EW. Testes do coeficiente de fidedignidade escolhido para ser utilizado na avaliação qualitativa paraconsistente. Anais de Resumos. 2007 ;[citado 2024 maio 02 ]
  • Unidade: EP

    Subjects: SISTEMAS LÓGICOS NÃO CLÁSSICOS, TOMADA DE DECISÃO, ALGORITMOS, ENGENHARIA DE PRODUÇÃO

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CARVALHO, Fábio Romeu de. Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção. 2006. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3136/tde-13032007-155453/. Acesso em: 02 maio 2024.
    • APA

      Carvalho, F. R. de. (2006). Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3136/tde-13032007-155453/
    • NLM

      Carvalho FR de. Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção [Internet]. 2006 ;[citado 2024 maio 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3136/tde-13032007-155453/
    • Vancouver

      Carvalho FR de. Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção [Internet]. 2006 ;[citado 2024 maio 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3136/tde-13032007-155453/
  • Source: Advances in logic based intelligent systems: selected Papers of LAPTEC 2005. Unidades: IEA, EP

    Subjects: TOMADA DE DECISÃO, LÓGICA MATEMÁTICA, SISTEMAS LÓGICOS NÃO CLÁSSICOS, ANÁLISE DE ALGORITMOS

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CARVALHO, Fábio Romeu de e BRUNSTEIN, Israel e ABE, Jair Minoro. Decision making based on paraconsistent annotated logic. Advances in logic based intelligent systems: selected Papers of LAPTEC 2005. Tradução . Amsterdam: IOS Press, 2005. . Disponível em: https://repositorio.usp.br/directbitstream/606c6cea-2ea0-468f-9fe9-30c0f4b9d4ba/Brunstein-2005-decision.pdf. Acesso em: 02 maio 2024.
    • APA

      Carvalho, F. R. de, Brunstein, I., & Abe, J. M. (2005). Decision making based on paraconsistent annotated logic. In Advances in logic based intelligent systems: selected Papers of LAPTEC 2005. Amsterdam: IOS Press. Recuperado de https://repositorio.usp.br/directbitstream/606c6cea-2ea0-468f-9fe9-30c0f4b9d4ba/Brunstein-2005-decision.pdf
    • NLM

      Carvalho FR de, Brunstein I, Abe JM. Decision making based on paraconsistent annotated logic [Internet]. In: Advances in logic based intelligent systems: selected Papers of LAPTEC 2005. Amsterdam: IOS Press; 2005. [citado 2024 maio 02 ] Available from: https://repositorio.usp.br/directbitstream/606c6cea-2ea0-468f-9fe9-30c0f4b9d4ba/Brunstein-2005-decision.pdf
    • Vancouver

      Carvalho FR de, Brunstein I, Abe JM. Decision making based on paraconsistent annotated logic [Internet]. In: Advances in logic based intelligent systems: selected Papers of LAPTEC 2005. Amsterdam: IOS Press; 2005. [citado 2024 maio 02 ] Available from: https://repositorio.usp.br/directbitstream/606c6cea-2ea0-468f-9fe9-30c0f4b9d4ba/Brunstein-2005-decision.pdf
  • Source: Advances in logic based intelligent systems: selected Papers of LAPTEC 2005. Unidades: IEA, EP

    Subjects: TOMADA DE DECISÃO, LÓGICA MATEMÁTICA, SISTEMAS LÓGICOS NÃO CLÁSSICOS, ANÁLISE DE ALGORITMOS

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ABE, Jair Minoro et al. Para-analyzer and its applications. Advances in logic based intelligent systems: selected Papers of LAPTEC 2005. Tradução . Amsterdam: IOS Press, 2005. . Disponível em: https://repositorio.usp.br/directbitstream/f97a961d-066d-4526-9fc5-e0f7942918f8/Brunstein-2005-para%20analyzer.pdf. Acesso em: 02 maio 2024.
    • APA

      Abe, J. M., Silva Filho, J. I. da, Carvalho, F. R. de, & Brunstein, I. (2005). Para-analyzer and its applications. In Advances in logic based intelligent systems: selected Papers of LAPTEC 2005. Amsterdam: IOS Press. Recuperado de https://repositorio.usp.br/directbitstream/f97a961d-066d-4526-9fc5-e0f7942918f8/Brunstein-2005-para%20analyzer.pdf
    • NLM

      Abe JM, Silva Filho JI da, Carvalho FR de, Brunstein I. Para-analyzer and its applications [Internet]. In: Advances in logic based intelligent systems: selected Papers of LAPTEC 2005. Amsterdam: IOS Press; 2005. [citado 2024 maio 02 ] Available from: https://repositorio.usp.br/directbitstream/f97a961d-066d-4526-9fc5-e0f7942918f8/Brunstein-2005-para%20analyzer.pdf
    • Vancouver

      Abe JM, Silva Filho JI da, Carvalho FR de, Brunstein I. Para-analyzer and its applications [Internet]. In: Advances in logic based intelligent systems: selected Papers of LAPTEC 2005. Amsterdam: IOS Press; 2005. [citado 2024 maio 02 ] Available from: https://repositorio.usp.br/directbitstream/f97a961d-066d-4526-9fc5-e0f7942918f8/Brunstein-2005-para%20analyzer.pdf
  • Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME

    Subjects: TESTES DE HIPÓTESES, SISTEMAS LÓGICOS NÃO CLÁSSICOS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      STERN, Julio Michael. Paraconsistent sensitivity analysis for Bayesian significance tests. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_14. Acesso em: 02 maio 2024.
    • APA

      Stern, J. M. (2004). Paraconsistent sensitivity analysis for Bayesian significance tests. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_14
    • NLM

      Stern JM. Paraconsistent sensitivity analysis for Bayesian significance tests [Internet]. Proceedings. 2004 ;[citado 2024 maio 02 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_14
    • Vancouver

      Stern JM. Paraconsistent sensitivity analysis for Bayesian significance tests [Internet]. Proceedings. 2004 ;[citado 2024 maio 02 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_14
  • Source: Computing anticipatory systems: CASYS'03 - Sixth International Conference. Unidades: IEA, EP

    Subjects: TOMADA DE DECISÃO, LÓGICA MATEMÁTICA, SISTEMAS LÓGICOS NÃO CLÁSSICOS, ANÁLISE DE ALGORITMOS

    PrivadoAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CARVALHO, Fábio Romeu de e BRUNSTEIN, Israel e ABE, Jair Minoro. Paraconsistent annotated logic viability analysis: an approach to product launching. Computing anticipatory systems: CASYS'03 - Sixth International Conference. Tradução . Liège: University of Liège, 2004. . Disponível em: http://scitation.aip.org/getpdf/servlet/GetPDFServlet?filetype=pdf&id=APCPCS000718000001000282000001&idtype=cvips&prog=normal. Acesso em: 02 maio 2024.
    • APA

      Carvalho, F. R. de, Brunstein, I., & Abe, J. M. (2004). Paraconsistent annotated logic viability analysis: an approach to product launching. In Computing anticipatory systems: CASYS'03 - Sixth International Conference. Liège: University of Liège. Recuperado de http://scitation.aip.org/getpdf/servlet/GetPDFServlet?filetype=pdf&id=APCPCS000718000001000282000001&idtype=cvips&prog=normal
    • NLM

      Carvalho FR de, Brunstein I, Abe JM. Paraconsistent annotated logic viability analysis: an approach to product launching [Internet]. In: Computing anticipatory systems: CASYS'03 - Sixth International Conference. Liège: University of Liège; 2004. [citado 2024 maio 02 ] Available from: http://scitation.aip.org/getpdf/servlet/GetPDFServlet?filetype=pdf&id=APCPCS000718000001000282000001&idtype=cvips&prog=normal
    • Vancouver

      Carvalho FR de, Brunstein I, Abe JM. Paraconsistent annotated logic viability analysis: an approach to product launching [Internet]. In: Computing anticipatory systems: CASYS'03 - Sixth International Conference. Liège: University of Liège; 2004. [citado 2024 maio 02 ] Available from: http://scitation.aip.org/getpdf/servlet/GetPDFServlet?filetype=pdf&id=APCPCS000718000001000282000001&idtype=cvips&prog=normal
  • Source: Anais.. Conference titles: Encontro Nacional de Engenharia de Produção. Unidade: EP

    Subjects: LÓGICA MATEMÁTICA, SISTEMAS LÓGICOS NÃO CLÁSSICOS, ANÁLISE DE RISCO

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      DOMINGUES, Marco Antonio e BRUNSTEIN, Israel e ABE, Jair Minoro. Proposta de uso da lógica paraconsistente anotada na análise do poder de competição: o estudo do fator dificuldades à entrada de concorrentes. 2004, Anais.. Florianópolis: ABEPRO, 2004. Disponível em: https://repositorio.usp.br/directbitstream/99d13531-f916-46f9-a886-71e36ec8da49/Brunstein-2004-proposta.pdf. Acesso em: 02 maio 2024.
    • APA

      Domingues, M. A., Brunstein, I., & Abe, J. M. (2004). Proposta de uso da lógica paraconsistente anotada na análise do poder de competição: o estudo do fator dificuldades à entrada de concorrentes. In Anais.. Florianópolis: ABEPRO. Recuperado de https://repositorio.usp.br/directbitstream/99d13531-f916-46f9-a886-71e36ec8da49/Brunstein-2004-proposta.pdf
    • NLM

      Domingues MA, Brunstein I, Abe JM. Proposta de uso da lógica paraconsistente anotada na análise do poder de competição: o estudo do fator dificuldades à entrada de concorrentes [Internet]. Anais. 2004 ;[citado 2024 maio 02 ] Available from: https://repositorio.usp.br/directbitstream/99d13531-f916-46f9-a886-71e36ec8da49/Brunstein-2004-proposta.pdf
    • Vancouver

      Domingues MA, Brunstein I, Abe JM. Proposta de uso da lógica paraconsistente anotada na análise do poder de competição: o estudo do fator dificuldades à entrada de concorrentes [Internet]. Anais. 2004 ;[citado 2024 maio 02 ] Available from: https://repositorio.usp.br/directbitstream/99d13531-f916-46f9-a886-71e36ec8da49/Brunstein-2004-proposta.pdf
  • Source: Memórias do presente: 100 entrevistas do Mais!: 1992-2002: artes do conhecimento. Unidade: FFLCH

    Subjects: LÓGICA, SISTEMAS LÓGICOS NÃO CLÁSSICOS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      COSTA, Newton Carneiro Affonso da e TUFFANI, Maurício. Newton Costa por Maurício Tuffani. [Entrevista]. Memórias do presente: 100 entrevistas do Mais!: 1992-2002: artes do conhecimento. São Paulo: Publifolha. . Acesso em: 02 maio 2024. , 2003
    • APA

      Costa, N. C. A. da, & Tuffani, M. (2003). Newton Costa por Maurício Tuffani. [Entrevista]. Memórias do presente: 100 entrevistas do Mais!: 1992-2002: artes do conhecimento. São Paulo: Publifolha.
    • NLM

      Costa NCA da, Tuffani M. Newton Costa por Maurício Tuffani. [Entrevista]. Memórias do presente: 100 entrevistas do Mais!: 1992-2002: artes do conhecimento. 2003 ;[citado 2024 maio 02 ]
    • Vancouver

      Costa NCA da, Tuffani M. Newton Costa por Maurício Tuffani. [Entrevista]. Memórias do presente: 100 entrevistas do Mais!: 1992-2002: artes do conhecimento. 2003 ;[citado 2024 maio 02 ]
  • Source: Anais. Conference titles: Encontro Nacional de Engenharia de Produção. Unidade: EP

    Subjects: TOMADA DE DECISÃO, SISTEMAS LÓGICOS NÃO CLÁSSICOS

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CARVALHO, Fábio Romeu de e BRUNSTEIN, Israel e ABE, Jair Minoro. Tomadas de decisão com ferramentas da lógica paraconsistente anotada. 2003, Anais.. Ouro Preto: UFOP, 2003. Disponível em: https://repositorio.usp.br/directbitstream/622c7716-e4fb-4856-b062-8365c8623f46/Brunstein-2003-tomadas%20de%20decisao.pdf. Acesso em: 02 maio 2024.
    • APA

      Carvalho, F. R. de, Brunstein, I., & Abe, J. M. (2003). Tomadas de decisão com ferramentas da lógica paraconsistente anotada. In Anais. Ouro Preto: UFOP. Recuperado de https://repositorio.usp.br/directbitstream/622c7716-e4fb-4856-b062-8365c8623f46/Brunstein-2003-tomadas%20de%20decisao.pdf
    • NLM

      Carvalho FR de, Brunstein I, Abe JM. Tomadas de decisão com ferramentas da lógica paraconsistente anotada [Internet]. Anais. 2003 ;[citado 2024 maio 02 ] Available from: https://repositorio.usp.br/directbitstream/622c7716-e4fb-4856-b062-8365c8623f46/Brunstein-2003-tomadas%20de%20decisao.pdf
    • Vancouver

      Carvalho FR de, Brunstein I, Abe JM. Tomadas de decisão com ferramentas da lógica paraconsistente anotada [Internet]. Anais. 2003 ;[citado 2024 maio 02 ] Available from: https://repositorio.usp.br/directbitstream/622c7716-e4fb-4856-b062-8365c8623f46/Brunstein-2003-tomadas%20de%20decisao.pdf
  • Unidade: FFLCH

    Subjects: UNIVERSIDADE, ADMINISTRAÇÃO, SISTEMAS LÓGICOS NÃO CLÁSSICOS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CARVALHO, Fábio Romeu de. Lógica Paraconsistente Anotada no auxílio às tomadas de decisão na administração de uma Universidade. 2000. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2000. . Acesso em: 02 maio 2024.
    • APA

      Carvalho, F. R. de. (2000). Lógica Paraconsistente Anotada no auxílio às tomadas de decisão na administração de uma Universidade (Dissertação (Mestrado). Universidade de São Paulo, São Paulo.
    • NLM

      Carvalho FR de. Lógica Paraconsistente Anotada no auxílio às tomadas de decisão na administração de uma Universidade. 2000 ;[citado 2024 maio 02 ]
    • Vancouver

      Carvalho FR de. Lógica Paraconsistente Anotada no auxílio às tomadas de decisão na administração de uma Universidade. 2000 ;[citado 2024 maio 02 ]

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024